To appear in the Proceedings of the 2014 IEEE Intl. Conf. on Robotics and Automation (ICRA2014) A Sampling-Based Strategy Planner for Nondeterministic Hybrid Systems Morteza Lahijanian, Lydia E. Kavraki, and Moshe Y. Va

Source URL: www.cs.rice.edu

IEEE Transactions on Industrial Informatics CALL FOR PAPERS for Special Section on "Advances in Theories and Industrial Applications of Networked Control Systems"

Source URL: www.intellicis.eu

This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS 1 Portfolio of A

Source URL: sirprivatedot.com

2011 IEEE Symposium on Security and Privacy Extending Nymble-like Systems Ryan Henry and Ian Goldberg Cheriton School of Computer Science University of Waterloo

Source URL: ieee-security.org

Poster: Specification and Verification of Confidentiality in Component-Based Systems Max E. Kramer, Anton Hergenr¨oder, Martin Hecker, Simon Greiner, Kaibin Bao Karlsruhe Institute of Technology, Germany {firstname.last

Source URL: www.ieee-security.org

2644 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 59, NO. 10, OCTOBER 2014 Event-Separation Properties of Event-Triggered Control Systems

Source URL: www.heemels.tue.nl

This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS 1 Photovoltaic Pixels

Source URL: web.stanford.edu

S TING: Finding Name Resolution Vulnerabilities in Programs Hayawardh Vijayakumar, Joshua Schiffman, and Trent Jaeger Systems and Internet Infrastructure Security Laboratory Department of Computer Science and Engineering

Source URL: www.ieee-security.org

Secure Multiparty Computations on Bitcoin Marcin Andrychowicz, Stefan Dziembowski∗ , Daniel Malinowski, Łukasz Mazurek University of Warsaw, Poland {marcin.andrychowicz, stefan.dziembowski, daniel.malinowski, lukasz.m

Source URL: www.ieee-security.org

• Payment systems
• Bitcoin
• Peer-to-peer computing
• Secure multi-party computation
• Commitment scheme
• Electronic money
• Public-key cryptography
• Mental poker
• PayPal
• Cryptography
• Cryptographic protocols
• Electronic commerce

UISPA – System Integration and Process Automation Unit, Universidade do Porto REPORT ON ACTIVITY 2008 Aims of the group The aim of the group is to address research topics in decentralised motion control systems for man

Source URL: www.idmec.ist.utl.pt

• Technology
• Automation
• Institute of Electrical and Electronics Engineers
• Wireless sensor network
• Haptic technology
• Robot
• IEEE Industrial Electronics Society
• EURASIP Journal on Advances in Signal Processing
• Human–computer interaction
• Engineering
• Multimodal interaction